3f754fa894d26f2d3f12a859c10c89af8fefd496,tests/it.xsemantics.dsl.tests/xsemantics-gen/it/xsemantics/test/fj/first/FjFirstTypeSystem.java,FjFirstTypeSystem,applyRuleCheckMethod,#RuleEnvironment#RuleApplicationTrace#Method#,1468
Before Change
}
protected Result<Boolean> applyRuleCheckMethod(final RuleEnvironment G, final RuleApplicationTrace _trace_, final Method method) throws RuleFailedException {
it.xsemantics.example.fj.fj.Class _containerOfType = EcoreUtil2.<it.xsemantics.example.fj.fj.Class>getContainerOfType(method, it.xsemantics.example.fj.fj.Class.class);
final ClassType typeForThis = this.fjTypeUtils.createClassType(_containerOfType);
Type bodyType = null;
/* G, 'this' <- typeForThis |- method.body.expression : bodyType */
MethodBody _body = method.getBody();
After Change
}
protected Result<Boolean> applyRuleCheckMethod(final RuleEnvironment G, final RuleApplicationTrace _trace_, final Method method) throws RuleFailedException {
final ClassType typeForThis = this.fjTypeUtils.createClassType(
EcoreUtil2.<it.xsemantics.example.fj.fj.Class>getContainerOfType(method, it.xsemantics.example.fj.fj.Class.class));
Type bodyType = null;
/* G, 'this' <- typeForThis |- method.body.expression : bodyType */
Expression _expression = method.getBody().getExpression();